Control of 2 × 2 Linear Hyperbolic Systems: Backstepping-Based Trajectory Generation and PI-Based Tracking

International audienceWe consider the problems of trajectory generation and tracking for general 2 × 2 systems of first-order linear hyperbolic PDEs with anti-collocated boundary input and output. We solve the trajectory generation problem via backstepping. The reference input, which generates the desired output, incorporates integral operators acting on advanced and delayed versions of the reference output with kernels which were derived by Vazquez, Krstic, and Coron for the backstepping stabilization of 2 × 2 linear hyperbolic systems. We apply our approach to a wave PDE with indefinite in-domain and boundary damping. For tracking the desired trajectory we employ a PI control law on the tracking error of the output. We prove exponential stability of the closed-loop system, under the proposed PI control law, when the parameters of the plant and the controller satisfy certain conditions, by constructing a novel " non-diagonal " Lyapunov functional. We demonstrate that the proposed PI control law compensates in the output the effect of in-domain and boundary disturbances. We illustrate our results with numerical examples

Contrôle de systèmes hyperboliques par analyse Lyapunov

In this thesis we have considered different aspects for the control of hyperbolic systems.First, we have studied switched hyperbolic systems. They contain an interaction between a continuous and a discrete dynamics. Thus, the continuous dynamics may evolve in different modes: these modes are imposed by the discrete dynamics. The change in the mode may be controlled (in case of a closed-loop system), or may be uncontrolled (in case of an open-loop system). We have focused our interest on the former case. We procedeed with a Lyapunov analysis, and construct three switching rules. We have shown how to modify them to get robustness and ISS properties. We have shown their effectiveness with numerical tests.Then, we have considered the trajectory generation problem for 2x2 linear hyperbolic systems. We have solved it with backstepping. Then, we have considered the tracking problem with a Proportionnal-Integral controller. We have shown that it stabilizes the error system around the reference trajectory with a new non-diagonal Lyapunov function. The integral action has been shown to be able to reject in-domain, as well as boundary disturbances.Finally, we have considered numerical aspects for the Lyapunov analysis. The conditions for the stability and design of controllers by quadratic Lyapunov functions involve an infinity of matrix inequalities. We have shown how to reduce this complexity by polytopic embeddings of the constraints.Many obtained results have been illustrated by academic examples and physically relevant dynamical systems (as Shallow-Water equations and Aw-Rascle-Zhang equations).Dans cette thèse nous avons étudié différents aspects pour le contrôle de systèmes hyperboliques.Tout d'abord, nous nous sommes intéressés à des systèmes hyperboliques à commutations. Cela signifie qu'il existe une interaction entre une dynamique continue et une dynamique discrète. Autrement dit, il existe différents modes dans lesquels peut évoluer la dynamique continue: ces modes sont dictés par la dynamique discrète. Ce changement de mode peut être contrôlé (dans le cas d'une boucle fermée), ou non-contrôlé (dans le cas d'une boucle ouverte). Nous nous sommes intéressés au premier cas. Par une analyse Lyapunov nous avons construit trois règles de commutations capables de stabiliser le système. Nous avons montré comment modifier deux d'entre elles pour obtenir des propriétés de robustesse et de stabilité entrée-état. Ces règles de commutations ont été testées numériquement.Ensuite, nous avons considéré la génération de trajectoire pour des systèmes hyperboliques linéaires 2x2 par backstepping. L'étape suivante a été de considérer une action Proportionnelle-Intégrale pour stabiliser la solution du système autour de la trajectoire de référence. Pour cela nous avons construit une fonction Lyapunov non-diagonale. Nous avons montré que l'action intégrale est capable de rejeter des erreurs distribuées et frontières.Enfin, nous avons considéré des aspects numériques pour l'analyse Lyapunov. Les conditions pour la stabilité et la conception de contrôleurs obtenues par des fonctions de Lyapunov quadratiques font intervenir une infinité d'inégalités matricielles. Nous avons montré que cette complexité peut être réduite en considérant une sur-approximation polytopique de ces contraintes.Les résultats obtenus ont été illustrés par des exemples académiques et des systèmes dynamiques physiques (comme les équations de Saint-Venant et les équations de Aw-Rascle-Zhang)

An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems

International audienceIn this paper, we consider the problems of stability analysis and control synthesis for first-order hyperbolic linear Partial Differential Equations (PDEs) over a bounded interval with spatially varying coefficients. We propose Linear Matrix Inequalities (LMI) conditions for the stability and for the design of boundary and distributed control for the system. These conditions involve an infinite number of LMI to solve. Hence, we show how to overapproximate these constraints using polytopic embeddings to reduce the problem to a finite number of LMI. We show the effectiveness of the overapproximation with several examples and with the Saint-Venant equations with friction

Numerical Computation of Lyapunov Function for Hyperbolic PDE using LMI Formulation and Polytopic Embeddings

International audienceWe consider the problem of stability analysis and control synthesis for first-order hyperbolic linear PDEs over a bounded interval with spatially varying coefficients. We propose LMI-based conditions for the stability and for the design of boundary and distributed control for this class of systems. These LMI-based conditions involve an infinite number of LMI. Hence, we show how to overapproximate these constraints using polytopic embeddings to reduce the problem to a finite number of LMI. We show the effectiveness of the overapproximation with several examples

Lyapunov techniques for stabilization of switched linear systems of conservation laws

http://cdc2013.units.it/International audienceIn this paper, the exponential stability in L2 - norm is investigated for a class of switched linear systems of conservation laws. The state equations and the boundary conditions are both subject to switching. We consider the problem of synthesizing stabilizing switching controllers. By means of Lyapunov techniques, three control strategies are developed based on steepest descent selection, possibly combined with a hysteresis and a low-pass filter. Some numerical examples are considered to illustrate our approach and to show the merits of the proposed strategies

Switching rules for stabilization of linear systems of conservation laws

International audienceIn this paper, the exponential convergence in L 2-norm is analyzed for a class of switched linear systems of conservation laws. The boundary conditions are subject to switches. We investigate the problem of synthesizing stabilizing switching controllers. By means of Lyapunov techniques, three control strategies are developed based on steepest descent selection, possibly combined with a hysteresis and a low-pass filter. For the first strategy we show the global exponential stabilizability, but no result for the existence and uniqueness of trajectories can be stated. For the other ones, the problem is shown to be well posed and global exponential convergence can be obtained. Moreover, we consider the robustness issues for these switching rules in presence of measurement noise. Some numerical examples illustrate our approach and show the merits of the proposed strategies. Particularly, we have developped a model for a network of open channels, with switching controllers in the gate operations

Control of 2 × 2 Linear Hyperbolic Systems: Backstepping-Based Trajectory Generation and PI-Based Tracking

International audience— We consider the problems of trajectory generation and tracking for general 2 × 2 systems of first-order linear hyperbolic PDEs with anti-collocated boundary input and output. We solve the trajectory generation problem via backstepping. The reference input, which generates the desired output, incorporates integral operators acting on advanced and delayed versions of the reference output with kernels which were derived by Vazquez, Krstic, and Coron for the backstepping stabilization of 2×2 linear hyperbolic systems. For tracking the desired trajectory we employ a PI control law on the tracking error of the output. We prove exponential stability of the closed-loop system, under the proposed PI control law, when the parameters of the plant and the controller satisfy certain conditions, by constructing a novel " non-diagonal " Lyapunov functional

Adding an integrator to backstepping: Output disturbances rejection for linear hyperbolic systems

International audienceWe consider the output disturbance rejection problem for linear first-order hyperbolic systems with anti-collocated boundary input and output. We employ backstepping to construct the controller. We incorporate an integral action into the target system, yielding a Delay Differential Equation (DDE) and use a classical result to obtain a sufficient condition for its stability in L ∞-norm. Then, we show that the full-state feedback control with the integral action rejects in-domain and boundary disturbances from the output. Besides, we show that when incorporating integral-action into the observer system, the resulting output feedback control rejects the disturbances too

Supervisory Switching Control for Linear Hyperbolic Systems

International audienceWe consider the stabilization problem for linear systems of balance laws subject to uncertain gains affecting the boundary conditions and the reaction term. The stabilization is achieved using the supervisory control, a well established approach in finite dimension. In the context where a controller exists for each estimator, the supervisory control with a performance signal built with the boundary output effectively steers the system to the origin. This novel approach is illustrated with a traffic flow control problem modelled by the Aw-Rascle-Zhang equations